irredundant representation

无赘表示